The rules of intermediate logic

نویسندگان

  • Rosalie Iemhoff
  • Dick de Jongh
چکیده

If Visser’s rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of Visser’s rules are admissible is not known. Here we study the situation for specific intermediate logics. We provide natural examples of logics for which Visser’s rule are derivable, admissible but non-derivable, or not admissible.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Approach for Accident Forecasting Using Fuzzy Logic Rules: A Case Mining of Lift Truck Accident Forecasting in One of the Iranian Car Manufacturers

Fuzzy Logic is one of the concepts that has created different scientific attitudes by entering into various professional fields nowadays and in some cases has made remarkable effects on the results of the practical researches. However, the existence of stochastic and uncertain situations in risk and accident field, affects the possibility of the forecasting and preventing the occurrence of the ...

متن کامل

Intermediate Logics and Visser's Rules

Visser’s rules form a basis for the admissible rules of IPC. Here we show that this result can be generalized to arbitrary intermediate logics: Visser’s rules form a basis for the admissible rules of any intermediate logic L for which they are admissible. This implies that if Visser’s rules are derivable for L then L has no non-derivable admissible rules. We also provide a necessary and suffici...

متن کامل

Optimal intelligent control for glucose regulation

This paper introduces a novel control methodology based on fuzzy controller for a glucose-insulin regulatory system of type I diabetes patient. First, in order to incorporate knowledge about patient treatment, a fuzzy logic controller is employed for regulating the gains of the basis Proportional-Integral (PI) as a self-tuning controller. Then, to overcome the key drawback of fuzzy logic contro...

متن کامل

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissible rules of Intuitionistic Logic and a class of modal logics were defined in a proof-theoretic framework where the basic objects of the systems are sequent rules. Here, the framework is extended to cover derivability ...

متن کامل

Impact of Structural Components of Market on the Markup Level Based on Radial Basis Neural Network and Fuzzy Logic

This paper aims to evaluate the impact of several indices of market structure including entry to barrier, economies of scale and concentration degree on 140 active industries using the digit. Accordingly, we apply three methods including cost disadvantages ratio ( ), Herfindahl–Hirschman concentration index ( ) and Comanor and Willson criterion in order to assess the economies of scale and usin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004